退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一个用于建模和测试复杂软件系统的正式抽象框架
Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:EB-DEVS:动态复杂系统中紧急行为的建模和模拟的正式框架
机译:抽象形式规范以通过模型检查生成软件测试
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:基于模型的软件框架用于基于搜索的软件测试
机译:通过模型检查抽象形式规范生成软件测试
机译:用于控制复杂情况下的措施的控制系统,具有控制单元和数据模型分割单元,该控制单元和数据模型分割单元将复杂情况的数据模型分割为子情况,在其中为每个子情况生成形式描述
机译:基于软件测试域建模的软件测试自动生成的系统和方法
机译:建模软件,摘要以及分析方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。